登录
Xidian University
中文
DMK
Ulh
VYN
9z5
qto
m6v
yQf
nCm
fPi
s0n
hFI
SIR
9Om
Tzg
hWj
0ES
gG1
Bgl
1mb
TUK
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Current position:
Home
>>
Scientific Research
>>
Paper Publications
Wenyan Xu
Personal Information
Associate professor Supervisor of Master's Candidates
Paper Publications
许文艳,Three-way Decision With Ranking And Reference Tuple on Information Tables:Information Sciences,2022,613:682-716
Three-way conflict analysis with similarity degree on an issue set:INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS,2023
Extended IF逻辑的命题演算系统:软件学报,2015,26(9):2278-2285
许文艳,动直线轨迹方程的消参法在几何教学中的设计与探究:高等数学研究,2022,25(4):108-110
可计算性逻辑中若干形式系统及算子的研究:西安电子科技大学,2013(4)
Deduction Theorem For Symmetric Cirquent Calculus:Quantitative Logic And Soft Computing 2010, Vol 2,2010,82:121-126
命题逻辑公式的压缩表示及其相应的形式系统:模糊系统与数学,2011,25(1):25-31
许文艳,A Two-universe Model of Three-way Decision With Ranking And Reference Tuple:Information Sciences,2021,581:808-839
A Cirquent Calculus System With Clustering And Ranking:Journal of Applied Logic,2016,16:37-49
知识库系统的逻辑基础:计算机学报,2009,32(11):2123-2129
A Propositional System Induced by Japaridze\'s Approach to If Logic:Logic Journal of the Igpl,2014,22(6):982-991
The Parallel Versus Branching Recurrences in Computability Logic:Notre Dame Journal of Formal Logic,2013,54(1):61-78
Sequential rough set: a conservative extension of Pawlak’s classical rough set.[J]:Artificial Intelligence Review,2024,58(9)
许文艳,A Generalized Model of Three-way Decision With Ranking And Reference Tuple:International Journal of Approximate Reasoning,2022,144:51-68
Xu, Wen-Yan ,A formal system for propositional extended IF logic:Ruan Jian Xue Bao/Journal of Software,2015,26(9):2278-2285
Xu, Wenyan,A cirquent calculus system with clustering and ranking:JOURNAL OF APPLIED LOGIC,2016,16:37-49
Soundness and completeness of the cirquent calculus system CL6 for computability logic.[J]:Logic Journal of the IGPL,2012,20(1):317-330
许文艳,幂级数的启发式教学设计与探究:教育进展,2023(7):4225-4229
The Countable Versus Uncountable Branching Recurrences in Computability Logic:Journal of Applied Logic,2012,10(4):431-446
任务逻辑中的定理:模糊系统与数学,2006,20(6):15-20
Cirquent Calculus System Cl8s Versus Calculus of Structures System Sksg For Propositional Logic:Quantitative Logic And Soft Computing,2012,5:144-149
Wenyan Xu,A two-universe model of three-way decision with ranking and reference tuple.[J]:Information Sciences,2021
Wenyan Xu,A generalized model of three-way decision with ranking and reference tuple.[J]:International Journal of Approximate Reasoning,2022
Wenyan Xu,Three-way decision with ranking and reference tuple on information tables.[J]:Information Sciences,2022
Wenyan Xu,Three-way conflict analysis with similarity degree on an issue set.[J]:International Journal of Machine Learning and Cybernetics,2023,2024
A propositional system induced by Japaridze’s approach to IF logic.[J]:Logic Journal of the IGPL,2014,22(6):982-991
The countable versus uncountable branching recurrences in computability logic.[J]:Journal of Applied Logic,2012,10(4):431-446
The parallel versus branching recurrences in computability logic:Notre Dame Journal of Formal Logic,2013,54(1):61-78
TOTAL 28 PIECE 1/1
FIRST
PREVIOUS
NEXT
LAST